27aab1190b2500e9bf8dc9dc2c8fc861c5a55799,extensions/webdav/src/org/exist/webdav/ExistDocument.java,ExistDocument,refreshLock,#String#,675

Before Change



        } catch (EXistException e) {
            LOG.error(e);
            txnManager.abort(txn);
            throw e;

        } catch (PermissionDeniedException e) {
            LOG.error(e);
            txnManager.abort(txn);
            throw e;

        } finally {

After Change



        } catch (EXistException e) {
            LOG.error(e);
            if (txnManager != null)
            	txnManager.abort(txn);
            throw e;

        } catch (PermissionDeniedException e) {
            LOG.error(e);
            //dead code, remove?
            if (txnManager != null)
            	txnManager.abort(txn);
            //------------------------
            throw e;